home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / pslatex / b-ligsc.pl < prev    next >
Text File  |  1991-05-20  |  16KB  |  847 lines

  1. (DESIGNSIZE R 10.0)
  2. (COMMENT DESIGNSIZE IS IN POINTS)
  3. (COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
  4. (CODINGSCHEME AdobeStandardEncoding)
  5. (FAMILY ITC Bookman)
  6. (FONTDIMEN
  7.    (SLANT R 0.000000)
  8.    (SPACE R 0.352000)
  9.    (STRETCH R 0.176000)
  10.    (SHRINK R 0.117333)
  11.    (XHEIGHT R 0.545000)
  12.    (QUAD R 1.0)
  13.    (EXTRASPACE R 0.117333)
  14.    )
  15. (CHARACTER O 40
  16.    (CHARWD R 0.320000)
  17.    )
  18. (CHARACTER O 41
  19.    (CHARWD R 0.300000)
  20.    (CHARHT R 0.698000)
  21.    (CHARDP R 0.008000)
  22.    )
  23. (CHARACTER O 42
  24.    (CHARWD R 0.380000)
  25.    (CHARHT R 0.698000)
  26.    )
  27. (CHARACTER O 43
  28.    (CHARWD R 0.620000)
  29.    (CHARHT R 0.681000)
  30.    )
  31. (CHARACTER O 44
  32.    (CHARWD R 0.620000)
  33.    (CHARHT R 0.791000)
  34.    (CHARDP R 0.109000)
  35.    )
  36. (CHARACTER O 45
  37.    (CHARWD R 0.900000)
  38.    (CHARHT R 0.698000)
  39.    (CHARDP R 0.008000)
  40.    )
  41. (CHARACTER O 46
  42.    (CHARWD R 0.800000)
  43.    (CHARHT R 0.698000)
  44.    (CHARDP R 0.017000)
  45.    )
  46. (CHARACTER O 47
  47.    (CHARWD R 0.220000)
  48.    (CHARHT R 0.698000)
  49.    )
  50. (CHARACTER O 50
  51.    (CHARWD R 0.300000)
  52.    (CHARHT R 0.727000)
  53.    (CHARDP R 0.145000)
  54.    )
  55. (CHARACTER O 51
  56.    (CHARWD R 0.300000)
  57.    (CHARHT R 0.727000)
  58.    (CHARDP R 0.146000)
  59.    )
  60. (CHARACTER O 52
  61.    (CHARWD R 0.440000)
  62.    (CHARHT R 0.698000)
  63.    )
  64. (CHARACTER O 53
  65.    (CHARWD R 0.600000)
  66.    (CHARHT R 0.513000)
  67.    )
  68. (CHARACTER O 54
  69.    (CHARWD R 0.320000)
  70.    (CHARHT R 0.114000)
  71.    (CHARDP R 0.114000)
  72.    )
  73. (CHARACTER O 55
  74.    (CHARWD R 0.400000)
  75.    (CHARHT R 0.292000)
  76.    )
  77. (CHARACTER O 56
  78.    (CHARWD R 0.320000)
  79.    (CHARHT R 0.123000)
  80.    (CHARDP R 0.008000)
  81.    )
  82. (CHARACTER O 57
  83.    (CHARWD R 0.600000)
  84.    (CHARHT R 0.717000)
  85.    (CHARDP R 0.149000)
  86.    )
  87. (CHARACTER C 0
  88.    (CHARWD R 0.620000)
  89.    (CHARHT R 0.698000)
  90.    (CHARDP R 0.017000)
  91.    )
  92. (CHARACTER C 1
  93.    (CHARWD R 0.620000)
  94.    (CHARHT R 0.681000)
  95.    )
  96. (CHARACTER C 2
  97.    (CHARWD R 0.620000)
  98.    (CHARHT R 0.698000)
  99.    )
  100. (CHARACTER C 3
  101.    (CHARWD R 0.620000)
  102.    (CHARHT R 0.698000)
  103.    (CHARDP R 0.017000)
  104.    )
  105. (CHARACTER C 4
  106.    (CHARWD R 0.620000)
  107.    (CHARHT R 0.681000)
  108.    )
  109. (CHARACTER C 5
  110.    (CHARWD R 0.620000)
  111.    (CHARHT R 0.717000)
  112.    (CHARDP R 0.017000)
  113.    )
  114. (CHARACTER C 6
  115.    (CHARWD R 0.620000)
  116.    (CHARHT R 0.698000)
  117.    (CHARDP R 0.017000)
  118.    )
  119. (CHARACTER C 7
  120.    (CHARWD R 0.620000)
  121.    (CHARHT R 0.681000)
  122.    )
  123. (CHARACTER C 8
  124.    (CHARWD R 0.620000)
  125.    (CHARHT R 0.698000)
  126.    (CHARDP R 0.017000)
  127.    )
  128. (CHARACTER C 9
  129.    (CHARWD R 0.620000)
  130.    (CHARHT R 0.698000)
  131.    (CHARDP R 0.017000)
  132.    )
  133. (CHARACTER O 72
  134.    (CHARWD R 0.320000)
  135.    (CHARHT R 0.494000)
  136.    (CHARDP R 0.008000)
  137.    )
  138. (CHARACTER O 73
  139.    (CHARWD R 0.320000)
  140.    (CHARHT R 0.494000)
  141.    (CHARDP R 0.114000)
  142.    )
  143. (CHARACTER O 74
  144.    (CHARWD R 0.600000)
  145.    (CHARHT R 0.526000)
  146.    (CHARDP R 0.002000)
  147.    )
  148. (CHARACTER O 75
  149.    (CHARWD R 0.600000)
  150.    (CHARHT R 0.398000)
  151.    )
  152. (CHARACTER O 76
  153.    (CHARWD R 0.600000)
  154.    (CHARHT R 0.526000)
  155.    (CHARDP R 0.002000)
  156.    )
  157. (CHARACTER O 77
  158.    (CHARWD R 0.540000)
  159.    (CHARHT R 0.698000)
  160.    (CHARDP R 0.008000)
  161.    )
  162. (CHARACTER O 100
  163.    (CHARWD R 0.820000)
  164.    (CHARHT R 0.698000)
  165.    (CHARDP R 0.017000)
  166.    )
  167. (CHARACTER C A
  168.    (CHARWD R 0.680000)
  169.    (CHARHT R 0.681000)
  170.    (CHARIC R 0.034000)
  171.    )
  172. (CHARACTER C B
  173.    (CHARWD R 0.740000)
  174.    (CHARHT R 0.681000)
  175.    )
  176. (CHARACTER C C
  177.    (CHARWD R 0.740000)
  178.    (CHARHT R 0.698000)
  179.    (CHARDP R 0.017000)
  180.    )
  181. (CHARACTER C D
  182.    (CHARWD R 0.800000)
  183.    (CHARHT R 0.681000)
  184.    )
  185. (CHARACTER C E
  186.    (CHARWD R 0.720000)
  187.    (CHARHT R 0.681000)
  188.    )
  189. (CHARACTER C F
  190.    (CHARWD R 0.640000)
  191.    (CHARHT R 0.681000)
  192.    (CHARIC R 0.014000)
  193.    )
  194. (CHARACTER C G
  195.    (CHARWD R 0.800000)
  196.    (CHARHT R 0.698000)
  197.    (CHARDP R 0.017000)
  198.    )
  199. (CHARACTER C H
  200.    (CHARWD R 0.800000)
  201.    (CHARHT R 0.681000)
  202.    )
  203. (CHARACTER C I
  204.    (CHARWD R 0.340000)
  205.    (CHARHT R 0.681000)
  206.    )
  207. (CHARACTER C J
  208.    (CHARWD R 0.600000)
  209.    (CHARHT R 0.681000)
  210.    (CHARDP R 0.017000)
  211.    )
  212. (CHARACTER C K
  213.    (CHARWD R 0.720000)
  214.    (CHARHT R 0.681000)
  215.    (CHARIC R 0.030000)
  216.    )
  217. (CHARACTER C L
  218.    (CHARWD R 0.600000)
  219.    (CHARHT R 0.681000)
  220.    (CHARIC R 0.029000)
  221.    )
  222. (CHARACTER C M
  223.    (CHARWD R 0.920000)
  224.    (CHARHT R 0.681000)
  225.    )
  226. (CHARACTER C N
  227.    (CHARWD R 0.740000)
  228.    (CHARHT R 0.681000)
  229.    )
  230. (CHARACTER C O
  231.    (CHARWD R 0.800000)
  232.    (CHARHT R 0.698000)
  233.    (CHARDP R 0.017000)
  234.    )
  235. (CHARACTER C P
  236.    (CHARWD R 0.620000)
  237.    (CHARHT R 0.681000)
  238.    )
  239. (CHARACTER C Q
  240.    (CHARWD R 0.820000)
  241.    (CHARHT R 0.698000)
  242.    (CHARDP R 0.189000)
  243.    )
  244. (CHARACTER C R
  245.    (CHARWD R 0.720000)
  246.    (CHARHT R 0.681000)
  247.    (CHARIC R 0.037000)
  248.    )
  249. (CHARACTER C S
  250.    (CHARWD R 0.660000)
  251.    (CHARHT R 0.698000)
  252.    (CHARDP R 0.017000)
  253.    )
  254. (CHARACTER C T
  255.    (CHARWD R 0.620000)
  256.    (CHARHT R 0.681000)
  257.    (CHARIC R 0.036000)
  258.    )
  259. (CHARACTER C U
  260.    (CHARWD R 0.780000)
  261.    (CHARHT R 0.681000)
  262.    (CHARDP R 0.017000)
  263.    )
  264. (CHARACTER C V
  265.    (CHARWD R 0.700000)
  266.    (CHARHT R 0.681000)
  267.    (CHARIC R 0.025000)
  268.    )
  269. (CHARACTER C W
  270.    (CHARWD R 0.960000)
  271.    (CHARHT R 0.681000)
  272.    (CHARIC R 0.024000)
  273.    )
  274. (CHARACTER C X
  275.    (CHARWD R 0.720000)
  276.    (CHARHT R 0.681000)
  277.    (CHARIC R 0.035000)
  278.    )
  279. (CHARACTER C Y
  280.    (CHARWD R 0.640000)
  281.    (CHARHT R 0.681000)
  282.    (CHARIC R 0.026000)
  283.    )
  284. (CHARACTER C Z
  285.    (CHARWD R 0.640000)
  286.    (CHARHT R 0.681000)
  287.    (CHARIC R 0.016000)
  288.    )
  289. (CHARACTER O 133
  290.    (CHARWD R 0.300000)
  291.    (CHARHT R 0.717000)
  292.    (CHARDP R 0.136000)
  293.    )
  294. (CHARACTER O 134
  295.    (CHARWD R 0.600000)
  296.    (CHARHT R 0.717000)
  297.    )
  298. (CHARACTER O 135
  299.    (CHARWD R 0.300000)
  300.    (CHARHT R 0.717000)
  301.    (CHARDP R 0.136000)
  302.    )
  303. (CHARACTER O 136
  304.    (CHARWD R 0.600000)
  305.    (CHARHT R 0.681000)
  306.    )
  307. (CHARACTER O 137
  308.    (CHARWD R 0.500000)
  309.    (CHARDP R 0.155000)
  310.    )
  311. (CHARACTER O 140
  312.    (CHARWD R 0.220000)
  313.    (CHARHT R 0.698000)
  314.    )
  315. (CHARACTER C a
  316.    (CHARWD R 0.544000)
  317.    (CHARHT R 0.545000)
  318.    (CHARIC R 0.027000)
  319.    )
  320. (CHARACTER C b
  321.    (CHARWD R 0.592000)
  322.    (CHARHT R 0.545000)
  323.    )
  324. (CHARACTER C c
  325.    (CHARWD R 0.592000)
  326.    (CHARHT R 0.558000)
  327.    (CHARDP R 0.013000)
  328.    )
  329. (CHARACTER C d
  330.    (CHARWD R 0.640000)
  331.    (CHARHT R 0.545000)
  332.    )
  333. (CHARACTER C e
  334.    (CHARWD R 0.576000)
  335.    (CHARHT R 0.545000)
  336.    )
  337. (CHARACTER C f
  338.    (CHARWD R 0.512000)
  339.    (CHARHT R 0.545000)
  340.    (CHARIC R 0.011000)
  341.    )
  342. (CHARACTER C g
  343.    (CHARWD R 0.640000)
  344.    (CHARHT R 0.558000)
  345.    (CHARDP R 0.013000)
  346.    )
  347. (CHARACTER C h
  348.    (CHARWD R 0.640000)
  349.    (CHARHT R 0.545000)
  350.    )
  351. (CHARACTER C i
  352.    (CHARWD R 0.272000)
  353.    (CHARHT R 0.545000)
  354.    )
  355. (CHARACTER C j
  356.    (CHARWD R 0.480000)
  357.    (CHARHT R 0.545000)
  358.    (CHARDP R 0.013000)
  359.    )
  360. (CHARACTER C k
  361.    (CHARWD R 0.576000)
  362.    (CHARHT R 0.545000)
  363.    (CHARIC R 0.024000)
  364.    )
  365. (CHARACTER C l
  366.    (CHARWD R 0.480000)
  367.    (CHARHT R 0.545000)
  368.    (CHARIC R 0.023000)
  369.    )
  370. (CHARACTER C m
  371.    (CHARWD R 0.736000)
  372.    (CHARHT R 0.545000)
  373.    )
  374. (CHARACTER C n
  375.    (CHARWD R 0.592000)
  376.    (CHARHT R 0.545000)
  377.    )
  378. (CHARACTER C o
  379.    (CHARWD R 0.640000)
  380.    (CHARHT R 0.558000)
  381.    (CHARDP R 0.013000)
  382.    )
  383. (CHARACTER C p
  384.    (CHARWD R 0.496000)
  385.    (CHARHT R 0.545000)
  386.    )
  387. (CHARACTER C q
  388.    (CHARWD R 0.656000)
  389.    (CHARHT R 0.558000)
  390.    (CHARDP R 0.150000)
  391.    )
  392. (CHARACTER C r
  393.    (CHARWD R 0.576000)
  394.    (CHARHT R 0.545000)
  395.    (CHARIC R 0.030000)
  396.    )
  397. (CHARACTER C s
  398.    (CHARWD R 0.528000)
  399.    (CHARHT R 0.558000)
  400.    (CHARDP R 0.013000)
  401.    )
  402. (CHARACTER C t
  403.    (CHARWD R 0.496000)
  404.    (CHARHT R 0.545000)
  405.    (CHARIC R 0.029000)
  406.    )
  407. (CHARACTER C u
  408.    (CHARWD R 0.624000)
  409.    (CHARHT R 0.545000)
  410.    (CHARDP R 0.013000)
  411.    )
  412. (CHARACTER C v
  413.    (CHARWD R 0.560000)
  414.    (CHARHT R 0.545000)
  415.    (CHARIC R 0.020000)
  416.    )
  417. (CHARACTER C w
  418.    (CHARWD R 0.768000)
  419.    (CHARHT R 0.545000)
  420.    (CHARIC R 0.019000)
  421.    )
  422. (CHARACTER C x
  423.    (CHARWD R 0.576000)
  424.    (CHARHT R 0.545000)
  425.    (CHARIC R 0.028000)
  426.    )
  427. (CHARACTER C y
  428.    (CHARWD R 0.512000)
  429.    (CHARHT R 0.545000)
  430.    (CHARIC R 0.021000)
  431.    )
  432. (CHARACTER C z
  433.    (CHARWD R 0.512000)
  434.    (CHARHT R 0.545000)
  435.    (CHARIC R 0.013000)
  436.    )
  437. (CHARACTER O 173
  438.    (CHARWD R 0.280000)
  439.    (CHARHT R 0.717000)
  440.    (CHARDP R 0.136000)
  441.    )
  442. (CHARACTER O 174
  443.    (CHARWD R 0.600000)
  444.    (CHARHT R 0.717000)
  445.    )
  446. (CHARACTER O 175
  447.    (CHARWD R 0.280000)
  448.    (CHARHT R 0.717000)
  449.    (CHARDP R 0.136000)
  450.    )
  451. (CHARACTER O 176
  452.    (CHARWD R 0.600000)
  453.    (CHARHT R 0.352000)
  454.    )
  455. (CHARACTER O 241
  456.    (CHARWD R 0.300000)
  457.    (CHARHT R 0.494000)
  458.    (CHARDP R 0.214000)
  459.    )
  460. (CHARACTER O 242
  461.    (CHARWD R 0.620000)
  462.    (CHARHT R 0.651000)
  463.    )
  464. (CHARACTER O 243
  465.    (CHARWD R 0.620000)
  466.    (CHARHT R 0.698000)
  467.    (CHARDP R 0.017000)
  468.    (CHARIC R 0.011000)
  469.    )
  470. (CHARACTER O 244
  471.    (CHARWD R 0.140000)
  472.    (CHARHT R 0.681000)
  473.    (CHARIC R 0.195000)
  474.    )
  475. (CHARACTER O 245
  476.    (CHARWD R 0.620000)
  477.    (CHARHT R 0.681000)
  478.    (CHARIC R 0.027000)
  479.    )
  480. (CHARACTER O 246
  481.    (CHARWD R 0.620000)
  482.    (CHARHT R 0.749000)
  483.    (CHARDP R 0.155000)
  484.    (CHARIC R 0.013000)
  485.    )
  486. (CHARACTER O 247
  487.    (CHARWD R 0.520000)
  488.    (CHARHT R 0.698000)
  489.    (CHARDP R 0.178000)
  490.    )
  491. (CHARACTER O 250
  492.    (CHARWD R 0.620000)
  493.    (CHARHT R 0.591000)
  494.    )
  495. (CHARACTER O 251
  496.    (CHARWD R 0.220000)
  497.    (CHARHT R 0.698000)
  498.    )
  499. (CHARACTER O 252
  500.    (CHARWD R 0.400000)
  501.    (CHARHT R 0.698000)
  502.    )
  503. (CHARACTER O 253
  504.    (CHARWD R 0.360000)
  505.    (CHARHT R 0.437000)
  506.    )
  507. (CHARACTER O 254
  508.    (CHARWD R 0.240000)
  509.    (CHARHT R 0.437000)
  510.    )
  511. (CHARACTER O 255
  512.    (CHARWD R 0.240000)
  513.    (CHARHT R 0.437000)
  514.    )
  515. (CHARACTER O 256
  516.    (CHARWD R 0.620000)
  517.    (CHARHT R 0.734000)
  518.    )
  519. (CHARACTER O 257
  520.    (CHARWD R 0.620000)
  521.    (CHARHT R 0.734000)
  522.    )
  523. (CHARACTER O 261
  524.    (CHARWD R 0.500000)
  525.    (CHARHT R 0.292000)
  526.    (CHARIC R 0.015000)
  527.    )
  528. (CHARACTER O 262
  529.    (CHARWD R 0.540000)
  530.    (CHARHT R 0.698000)
  531.    (CHARDP R 0.156000)
  532.    )
  533. (CHARACTER O 263
  534.    (CHARWD R 0.540000)
  535.    (CHARHT R 0.698000)
  536.    (CHARDP R 0.156000)
  537.    )
  538. (CHARACTER O 264
  539.    (CHARWD R 0.320000)
  540.    (CHARHT R 0.327000)
  541.    )
  542. (CHARACTER O 266
  543.    (CHARWD R 0.600000)
  544.    (CHARHT R 0.681000)
  545.    )
  546. (CHARACTER O 267
  547.    (CHARWD R 0.460000)
  548.    (CHARHT R 0.511000)
  549.    )
  550. (CHARACTER O 270
  551.    (CHARWD R 0.220000)
  552.    (CHARHT R 0.110000)
  553.    (CHARDP R 0.108000)
  554.    )
  555. (CHARACTER O 271
  556.    (CHARWD R 0.400000)
  557.    (CHARHT R 0.110000)
  558.    (CHARDP R 0.108000)
  559.    )
  560. (CHARACTER O 272
  561.    (CHARWD R 0.400000)
  562.    (CHARHT R 0.698000)
  563.    )
  564. (CHARACTER O 273
  565.    (CHARWD R 0.360000)
  566.    (CHARHT R 0.437000)
  567.    )
  568. (CHARACTER O 274
  569.    (CHARWD R 1.000000)
  570.    (CHARHT R 0.123000)
  571.    (CHARDP R 0.008000)
  572.    )
  573. (CHARACTER O 275
  574.    (CHARWD R 1.280000)
  575.    (CHARHT R 0.698000)
  576.    (CHARDP R 0.008000)
  577.    )
  578. (CHARACTER O 277
  579.    (CHARWD R 0.540000)
  580.    (CHARHT R 0.494000)
  581.    (CHARDP R 0.217000)
  582.    )
  583. (CHARACTER O 301
  584.    (CHARWD R 0.340000)
  585.    (CHARHT R 0.689000)
  586.    )
  587. (CHARACTER O 302
  588.    (CHARWD R 0.340000)
  589.    (CHARHT R 0.689000)
  590.    )
  591. (CHARACTER O 303
  592.    (CHARWD R 0.420000)
  593.    (CHARHT R 0.685000)
  594.    )
  595. (CHARACTER O 304
  596.    (CHARWD R 0.440000)
  597.    (CHARHT R 0.661000)
  598.    )
  599. (CHARACTER O 305
  600.    (CHARWD R 0.440000)
  601.    (CHARHT R 0.635000)
  602.    )
  603. (CHARACTER O 306
  604.    (CHARWD R 0.460000)
  605.    (CHARHT R 0.687000)
  606.    )
  607. (CHARACTER O 307
  608.    (CHARWD R 0.260000)
  609.    (CHARHT R 0.672000)
  610.    )
  611. (CHARACTER O 310
  612.    (CHARWD R 0.420000)
  613.    (CHARHT R 0.674000)
  614.    )
  615. (CHARACTER O 312
  616.    (CHARWD R 0.320000)
  617.    (CHARHT R 0.731000)
  618.    )
  619. (CHARACTER O 313
  620.    (CHARWD R 0.320000)
  621.    (CHARDP R 0.200000)
  622.    )
  623. (CHARACTER O 315
  624.    (CHARWD R 0.380000)
  625.    (CHARHT R 0.698000)
  626.    )
  627. (CHARACTER O 316
  628.    (CHARWD R 0.320000)
  629.    (CHARDP R 0.145000)
  630.    )
  631. (CHARACTER O 317
  632.    (CHARWD R 0.420000)
  633.    (CHARHT R 0.672000)
  634.    )
  635. (CHARACTER O 320
  636.    (CHARWD R 1.000000)
  637.    (CHARHT R 0.292000)
  638.    (CHARIC R 0.015000)
  639.    )
  640. (CHARACTER O 341
  641.    (CHARWD R 1.260000)
  642.    (CHARHT R 0.681000)
  643.    )
  644. (CHARACTER O 343
  645.    (CHARWD R 0.420000)
  646.    (CHARHT R 0.698000)
  647.    )
  648. (CHARACTER O 350
  649.    (CHARWD R 0.600000)
  650.    (CHARHT R 0.681000)
  651.    (CHARIC R 0.029000)
  652.    )
  653. (CHARACTER O 351
  654.    (CHARWD R 0.800000)
  655.    (CHARHT R 0.733000)
  656.    (CHARDP R 0.053000)
  657.    )
  658. (CHARACTER O 352
  659.    (CHARWD R 1.240000)
  660.    (CHARHT R 0.698000)
  661.    (CHARDP R 0.017000)
  662.    )
  663. (CHARACTER O 353
  664.    (CHARWD R 0.420000)
  665.    (CHARHT R 0.698000)
  666.    )
  667. (CHARACTER O 361
  668.    (CHARWD R 0.860000)
  669.    (CHARHT R 0.494000)
  670.    (CHARDP R 0.008000)
  671.    )
  672. (CHARACTER O 365
  673.    (CHARWD R 0.300000)
  674.    (CHARHT R 0.484000)
  675.    )
  676. (CHARACTER O 370
  677.    (CHARWD R 0.320000)
  678.    (CHARHT R 0.717000)
  679.    )
  680. (CHARACTER O 371
  681.    (CHARWD R 0.560000)
  682.    (CHARHT R 0.534000)
  683.    (CHARDP R 0.040000)
  684.    )
  685. (CHARACTER O 372
  686.    (CHARWD R 0.900000)
  687.    (CHARHT R 0.494000)
  688.    (CHARDP R 0.008000)
  689.    )
  690. (CHARACTER O 373
  691.    (CHARWD R 0.660000)
  692.    (CHARHT R 0.698000)
  693.    (CHARDP R 0.110000)
  694.    )
  695. (LIGTABLE
  696.    (LABEL O 101)
  697.    (KRN O 124 R 0.001000)
  698.    (KRN O 126 R -0.056000)
  699.    (KRN O 127 R -0.040000)
  700.    (KRN O 131 R -0.035000)
  701.    (KRN O 164 R 0.001000)
  702.    (KRN O 166 R -0.056000)
  703.    (KRN O 167 R -0.040000)
  704.    (KRN O 171 R -0.035000)
  705.    (STOP)
  706.    (LABEL O 106)
  707.    (KRN O 101 R -0.021000)
  708.    (KRN O 141 R -0.021000)
  709.    (KRN O 54 R -0.041000)
  710.    (KRN O 56 R -0.046000)
  711.    (STOP)
  712.    (LABEL O 114)
  713.    (KRN O 124 R 0.028000)
  714.    (KRN O 126 R -0.004000)
  715.    (KRN O 127 R 0.001000)
  716.    (KRN O 131 R 0.013000)
  717.    (KRN O 164 R 0.028000)
  718.    (KRN O 166 R -0.004000)
  719.    (KRN O 167 R 0.001000)
  720.    (KRN O 171 R 0.013000)
  721.    (STOP)
  722.    (LABEL O 120)
  723.    (KRN O 101 R -0.008000)
  724.    (KRN O 141 R -0.008000)
  725.    (KRN O 54 R -0.055000)
  726.    (KRN O 56 R -0.060000)
  727.    (STOP)
  728.    (LABEL O 122)
  729.    (KRN O 124 R 0.071000)
  730.    (KRN O 126 R 0.008000)
  731.    (KRN O 127 R 0.013000)
  732.    (KRN O 131 R 0.026000)
  733.    (KRN O 164 R 0.071000)
  734.    (KRN O 166 R 0.008000)
  735.    (KRN O 167 R 0.013000)
  736.    (KRN O 171 R 0.026000)
  737.    (STOP)
  738.    (LABEL O 124)
  739.    (KRN O 101 R 0.001000)
  740.    (KRN O 141 R 0.001000)
  741.    (KRN O 72 R 0.000000)
  742.    (KRN O 54 R -0.028000)
  743.    (KRN O 55 R 0.090000)
  744.    (KRN O 56 R -0.033000)
  745.    (KRN O 73 R 0.000000)
  746.    (STOP)
  747.    (LABEL O 126)
  748.    (KRN O 101 R -0.066000)
  749.    (KRN O 141 R -0.066000)
  750.    (KRN O 72 R 0.000000)
  751.    (KRN O 54 R -0.034000)
  752.    (KRN O 55 R 0.011000)
  753.    (KRN O 56 R -0.040000)
  754.    (KRN O 73 R 0.000000)
  755.    (STOP)
  756.    (LABEL O 127)
  757.    (KRN O 101 R -0.064000)
  758.    (KRN O 141 R -0.064000)
  759.    (KRN O 72 R 0.000000)
  760.    (KRN O 54 R -0.034000)
  761.    (KRN O 55 R 0.011000)
  762.    (KRN O 56 R -0.040000)
  763.    (KRN O 73 R 0.000000)
  764.    (STOP)
  765.    (LABEL O 131)
  766.    (KRN O 101 R -0.053000)
  767.    (KRN O 141 R -0.053000)
  768.    (KRN O 72 R 0.000000)
  769.    (KRN O 54 R -0.034000)
  770.    (KRN O 55 R 0.011000)
  771.    (KRN O 56 R -0.040000)
  772.    (KRN O 73 R 0.000000)
  773.    (STOP)
  774.    (LABEL O 141)
  775.    (KRN O 124 R 0.001000)
  776.    (KRN O 126 R -0.056000)
  777.    (KRN O 127 R -0.040000)
  778.    (KRN O 131 R -0.035000)
  779.    (KRN O 164 R 0.001000)
  780.    (KRN O 166 R -0.056000)
  781.    (KRN O 167 R -0.040000)
  782.    (KRN O 171 R -0.035000)
  783.    (STOP)
  784.    (LABEL O 146)
  785.    (KRN O 101 R -0.021000)
  786.    (KRN O 141 R -0.021000)
  787.    (STOP)
  788.    (LABEL O 154)
  789.    (KRN O 124 R 0.028000)
  790.    (KRN O 126 R -0.004000)
  791.    (KRN O 127 R 0.001000)
  792.    (KRN O 131 R 0.013000)
  793.    (KRN O 164 R 0.028000)
  794.    (KRN O 166 R -0.004000)
  795.    (KRN O 167 R 0.001000)
  796.    (KRN O 171 R 0.013000)
  797.    (STOP)
  798.    (LABEL O 160)
  799.    (KRN O 101 R -0.008000)
  800.    (KRN O 141 R -0.008000)
  801.    (STOP)
  802.    (LABEL O 162)
  803.    (KRN O 124 R 0.071000)
  804.    (KRN O 126 R 0.008000)
  805.    (KRN O 127 R 0.013000)
  806.    (KRN O 131 R 0.026000)
  807.    (KRN O 164 R 0.071000)
  808.    (KRN O 166 R 0.008000)
  809.    (KRN O 167 R 0.013000)
  810.    (KRN O 171 R 0.026000)
  811.    (STOP)
  812.    (LABEL O 164)
  813.    (KRN O 101 R 0.001000)
  814.    (KRN O 141 R 0.001000)
  815.    (STOP)
  816.    (LABEL O 166)
  817.    (KRN O 101 R -0.066000)
  818.    (KRN O 141 R -0.066000)
  819.    (STOP)
  820.    (LABEL O 167)
  821.    (KRN O 101 R -0.064000)
  822.    (KRN O 141 R -0.064000)
  823.    (STOP)
  824.    (LABEL O 171)
  825.    (KRN O 101 R -0.053000)
  826.    (KRN O 141 R -0.053000)
  827.    (STOP)
  828.    (LABEL O 41)
  829.    (LIG O 140 O 241)
  830.    (STOP)
  831.    (LABEL O 77)
  832.    (LIG O 140 O 277)
  833.    (STOP)
  834.    (LABEL O 55)
  835.    (LIG O 55 O 261)
  836.    (STOP)
  837.    (LABEL O 261)
  838.    (LIG O 55 O 320)
  839.    (STOP)
  840.    (LABEL O 140)
  841.    (LIG O 140 O 252)
  842.    (STOP)
  843.    (LABEL O 47)
  844.    (LIG O 47 O 272)
  845.    (STOP)
  846.    )
  847.